(理論)12 計算モデルの基礎理論